Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
381	Parameterized Proof Complexity∗ Stefan Dantchev, Barnaby Martin, and Stefan Szeider Department of Computer Science Durham University, Durham, England, UK [s.s.dantchev,b.d.martin,stefan.szeider]@durham.ac.uk Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:36 Computational complexity theory Theory of computation Theoretical computer science NP-complete problems Complexity classes Logic in computer science Finite model theory Parameterized complexity Resolution Exponential time hypothesis Boolean satisfiability problem Conjunctive normal form
382	Network Analysis and Modeling, CSCI 5352 LectureProf. Aaron Clauset Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2013-11-23 11:09:17 Graph theory Random graphs Network theory Giant component Graph connectivity Tree Clique Graph Connectivity Clustering coefficient ErdsRnyi model Network science
383	A Non-Hydrostatic Shallow Water Model on Triangular Meshes in Sam(oa)2 Guided Research Project Philipp Samfaß Fakul¨at f¨ Add to Reading List Source URL: www5.in.tum.de Language: English - Date: 2015-05-20 11:59:54 Calculus Partial differential equations Water waves Physics Mathematical analysis Shallow water equations NavierStokes equations MEMO Model Differential equation Hydrostatics Finite element method Airy wave theory
384	Fail-Aware Untrusted Storage§ Christian Cachin∗ Idit Keidar† Alexander Shraer‡ Add to Reading List Source URL: webee.technion.ac.il Language: English - Date: 2011-01-31 07:19:16 Computing Computer architecture Transaction processing Concurrency control Linearizability Client Permutation Internet Relay Chat Transmission Control Protocol Sequential consistency Model theory
385	Solving the Paradoxes, Escaping Revenge Hartry Field New York University It is “the received wisdom” that any intuitively natural and consistent resolution of a class of semantic paradoxes immediately leads to other Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Logic Philosophy Abstraction Philosophical logic Non-classical logic Theories of truth Predicate logic Model theory Liar paradox Dialetheism Truth Saul Kripke
386	CHAPTER 2 Item Characteristic Curve Models Chapter 2: Item Characteristic Curve Models Add to Reading List Source URL: echo.edres.org Language: English - Date: 2003-02-12 10:17:08 Statistics Psychometrics Statistical models Item response theory Logistic function Logit Parameter Differential item functioning Rasch model
387	Generative Agents for Player Decision Modeling in Games Christoffer Holmgård, Antonios Liapis, Julian Togelius Georgios N. Yannakakis Center for Computer Games Research Add to Reading List Source URL: antoniosliapis.com Language: English - Date: 2014-12-01 05:20:34 Gaming Software Classes of computers Artificial intelligence Formal sciences Simulation ZX Spectrum games Role-playing video games Agent-based model Intelligent agent Game theory Decision theory
388	Dynamic equilibrium with heterogeneous agents and risk constraints Rodolfo Prieto∗ November 2009 Abstract We examine the impact of risk-based portfolio constraints on asset prices in a standard exchange economy model w Add to Reading List Source URL: www.hec.unil.ch Language: English - Date: 2009-12-08 11:44:02 Economy Mathematical finance Finance Money Economic equilibrium Portfolio optimization General equilibrium theory Mathematical optimization Risk premium Financial risk Incomplete markets Stochastic volatility
389	Science Course Pathways for Middle and High School On April 27th, 2015, a work group of science teachers, higher education representatives, administrators and instructional leaders gathered to create recommended model co Add to Reading List Source URL: doe.sd.gov Language: English - Date: 2015-08-06 16:54:55 Software engineering Programming language theory Computer programming ALGOL 68 European Research Council Resident Evil
390	The variational hierarchical EM algorithm for clustering hidden Markov models Emanuele Coviello ECE Dept., UC San Diego Add to Reading List Source URL: eceweb.ucsd.edu Language: English - Date: 2015-07-31 19:00:26 Machine learning Statistics Markov models Artificial intelligence Estimation theory Expectationmaximization algorithm Missing data Hidden Markov model BaumWelch algorithm Forward algorithm Cluster analysis Mixture model

UPDATE